Higher order logic theorem proving and its applications - proceedings
- Författare
- (6th international workshop, HUG'93, Vancouver, B.C., Canada, August 1993, 11-13, 1993 Jeffrey J. Joyce, Carl-Johan H. Seger (eds.).)
- Genre
- Konferenspublikation
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer-Vlg | cop. 1994 | Tyskland, Berlin, New York | 517 sidor. ill. | |
| Springer Berlin Heidelberg | 1994 | Utgivningsland okänt / Ej specificerat |